preserved\_by($T$;$R$;$P$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$, $y$:$T$. $P$($x$) $\Rightarrow$ ($x$ $R$ $y$) $\Rightarrow$ $P$($y$)